<?php

echo "1111111111111\n";